The UML – MARTE Standardized Profile

The UML Profile for Modeling and Analysis of Real-Time and Embedded Systems (also called the UML profile for MARTE, or simply, MARTE) adds capabilities to UML for model-driven development of real-time and embedded systems (RTES). It provides support for specification, design, and verification/validation stages. This new profile replaces the existing UML Profile for Schedulability, Performance and Time (formal/03-09-01), which was based on an earlier version of UML (UML 1.x). MARTE defines the foundations for model-based description and analysis of real time and embedded systems. At its core is a set of fundamental concepts which are further refined for modeling and a variety of quantitative analyses. The modeling capabilities range from support for system specification through to detailed design of real-time and embedded systems. For the analysis portion, the intent is not to define new techniques for analyzing real-time and embedded systems, but to support the ones that currently exist as well as potential new ones. Hence, it provides facilities to annotate models with information required to perform specific types of analyses. In particular, MARTE focuses on performance and schedulability analysis. But, it also defines a general analysis framework which can be specialized for other kinds of analysis.